Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
181	Microsoft Word - Pelillo.doc Add to Reading List Source URL: svg.dmi.unict.it Language: English - Date: 2012-04-18 05:31:51 Formal sciences Cybernetics Algorithmic game theory Game theory Theory of computation Algorithmic Mathematical optimization Machine learning John von Neumann Theoretical computer science
182	Points on a Circle Problem We randomly distribute n points on the circumference of a circle. What is the probability that they will all fall in a common semi-circle? Solution Add to Reading List Source URL: mathproblems.info Language: English - Date: 2012-09-14 13:21:22 Probability distributions Algebra Recurrence relation Theory of computation Eschatology Combinatorics
183	Towards Automatic Generation of Vulnerability-Based Signatures David Brumley, James Newsome, and Dawn Song Carnegie Mellon University Pittsburgh, PA, USA {dbrumley,jnewsome,dawnsong}@cmu.edu Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Computability theory Vulnerability Public-key cryptography Theoretical computer science Models of computation Buffer overflow Social vulnerability Zero-day Ring signature Symbolic execution Turing machine Halting problem
184	Formal Testing g of Distributed Systems R. M. Hierons B Brunel Add to Reading List Source URL: www.cs.stir.ac.uk Language: English - Date: 2010-06-19 09:50:00 Software testing Model-based testing Distributed computing Theory of computation
185	serg semiotic engineering research group Informática PUC-Rio Add to Reading List Source URL: www.clihc.org Language: English - Date: 2007-09-14 11:40:14 Semiotics Theory of computation Humancomputer interaction Semiotic engineering Semioticians Clarisse de Souza Pontifical Catholic University of Rio de Janeiro Ambient intelligence Meta-communication
186	Summer 2009 :: COM SCI 181, Sec.1 :: Introduction to Formal Languages and Automata Theory :: Syllabus/Info Class Information Location, day, time: from the Registrar Add to Reading List Source URL: atakangunal.com Language: English* - Date: 2014-10-22 13:26:26 Formal languages Theoretical computer science Theory of computation Computability theory Models of computation Computability Automata theory Introduction to the Theory of Computation Turing machine Super-recursive algorithm Algorithm Finite-state machine
187	Appendix to Chen et al., ICFPAppendix to Chen et al., Implicit self-adjusting computation for purely functional programs (ICFPIn Section A, we show that translation maps source types to corresponding target Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2011-09-08 07:51:15 Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Computability theory Table of stars with Bayer designations Symbol
188	1 Distributional Learning and Context/Substructure Enumerability in Nonlinear Tree Grammars Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2016-03-21 01:41:35 Computability theory Recursively enumerable set Theory of computation Formal languages Spectral theory
189	Research Statement Theory and Computation of Optimal Geometry John M. Sullivan July 2003 My research in optimal geometry involves a unique combination of mathematical theory and numerical experiments. Traditionally, pure Add to Reading List Source URL: torus.math.uiuc.edu Language: English - Date: 2003-07-17 22:04:18 Geometric topology Differential geometry Surfaces Differential topology Willmore energy Minimal surface Foam Minimax eversion Differential geometry of surfaces Ropelength Knot Sphere
190	Who Can Name the Bigger Number? Scott Aaronson∗ 1999 In an old joke, two noblemen vie to name the bigger number. The first, after ruminating for hours, triumphantly announces ”Eighty-three!” The second, Add to Reading List Source URL: homepages.math.uic.edu Language: English - Date: 2016-01-08 10:48:49 Theory of computation Computability theory Busy beaver Computable function Computability Turing machine Halting problem Hypercomputation Computable number Algorithm Alan Turing Ackermann function

UPDATE